частичная верификация

частичная верификация
information security
eng.partial verification
rus.частичная верификация
ukr.часткова верифікація
Мера подобия двух различных множества данных, которая может служить мерой подобия процедур в различных программах.

English-Russian dictionary of information security . 2014.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "частичная верификация" в других словарях:

  • ПОДТВЕРЖДЕНИЕ — один из видов обоснования, состоящий в выведении следствий из наличного гипотетического утверждения с последующим их соотнесением с достоверно установленными положениями. Особую роль П. играет в случаях, когда в процесс научного исследования… …   Новейший философский словарь

  • Удовлетворенность трудом — эмоционально окрашенное оценочное представление субъекта деятельности о результате своей трудовой активности, о самом процессе работы и внешних условиях, в которых она осуществляется. В рамках современной психологической науки общепринятой и… …   Энциклопедический словарь по психологии и педагогике

  • ГОСТ Р 27.002-2009: Надежность в технике. Термины и определения — Терминология ГОСТ Р 27.002 2009: Надежность в технике. Термины и определения оригинал документа: A(t): Вероятность того, что изделие в данный момент времени находится в работоспособном состоянии. Определения термина из разных документов: A(t) l… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р 53480-2009: Надежность в технике. Термины и определения — Терминология ГОСТ Р 53480 2009: Надежность в технике. Термины и определения оригинал документа: 120 автоматическое техническое обслуживание : Техническое обслуживание, выполняемое без вмешательства человека. Определения термина из разных… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств — Терминология ГОСТ Р ИСО/МЭК 12207 2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа: 4.5 аудит (audit): Независимая оценка программных продуктов и процессов,… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств — Терминология ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа: 3.35 аттестация (validation): Подтверждение экспертизой и представлением объективных доказательств того, что… …   Словарь-справочник терминов нормативно-технической документации

  • Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

  • Кишечник — I Кишечник (intestina) часть пищеварительного канала, начинающаяся от привратника желудка и заканчивающаяся заднепроходным отверстием. В кишечнике происходит переваривание и всасывание пищи, удаление образующихся шлаков, синтезируются некоторые… …   Медицинская энциклопедия

  • Iiko — информационная система управления ресторанным бизнесом. Базовые решения iiko: iikoRMS система автоматизации ресторанов и iikoChain система автоматизации ресторанных сетей. Содержание 1 История 2 Название …   Википедия

  • Система компьютерной алгебры — Для улучшения этой статьи желательно?: Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Добавить иллюстрации. Викифицировать список литературы, используя …   Википедия

  • ОПУХОЛИ КИШЕЧНИКА — Опухоли тонкой кишки встречаются редко, чаще они локализуются в дистальной части подвздошной кишки, иногда имеет место множественное поражение. Доброкачественные опухоли тонкой кишки по строению разделяют на эпителиальные (аденомы) и… …   Энциклопедический словарь по психологии и педагогике


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»